[MINI-OS] Fix a bug which prevented map_frames being used more than once.
authorsos22@douglas.cl.cam.ac.uk <sos22@douglas.cl.cam.ac.uk>
Tue, 25 Jul 2006 09:59:02 +0000 (10:59 +0100)
committersos22@douglas.cl.cam.ac.uk <sos22@douglas.cl.cam.ac.uk>
Tue, 25 Jul 2006 09:59:02 +0000 (10:59 +0100)
commit8903f962c4b78a000024e7f2205ce6ccf2bab3a8
treee2017f70f425349fc11287aff079aba670777190
parentc68c9055abfd6a4b0160c04af526e903e2aba47e
[MINI-OS] Fix a bug which prevented map_frames being used more than once.
Found by John D. Ramsdell <ramsdell@mitre.org>

Signed-off-by: Steven Smith <sos22@cam.ac.uk>
extras/mini-os/mm.c